Model 2 - PDFSEARCH.IO - Document Search Engine

Model 2
Results: 7950

#	Item
11	The K IND 2 Model Checker ? Adrien Champion, Alain Mebsout, Christoph Sticksel, and Cesare Tinelli The University of Iowa Abstract. K IND 2 is an open-source, multi-engine, SMT-based model checker for safety properties o Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Formal methods Theoretical computer science Computing Software engineering Satisfiability modulo theories Model checking Invariant Lustre
12	OpenAI Five Model ArchitecturePlayer 5 Player 4 Player 3 Player 2 Add to Reading List Source URL: s3-us-west-2.amazonaws.com Language: English - Date: 2018-08-06 12:15:51 Artificial neural networks Rectifier Arg max Softmax
13	Solving Constraints over Bit-Vectors with SAT-based Model Checking Extended Abstract Yakir Vizel1 , Alexander Nadel2 , and Sharad Malik1 2 Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Theoretical computer science Logic in computer science Formal methods Computational complexity theory Mathematics Electronic design automation NP-complete problems Constraint programming Satisfiability modulo theories Boolean satisfiability problem Z3 Solver
14	Proof-producing reflection for HOL with an application to model polymorphism Benja Fallenstein1 and Ramana Kumar2 1 2 Add to Reading List Source URL: cakeml.org Language: English - Date: 2016-04-20 00:08:12 Mathematical logic Metalogic Logic Model theory Type theory Proof assistants Proof theory Higher-order logic Theoretical computer science Isabelle Simply typed lambda calculus Gdel's incompleteness theorems
15	Haptic SLAM: an ideal observer model for Bayesian inference of object shape and hand pose from contact dynamics Feryal M. P. Behbahani1 , Guillem Singla–Buxarrais2 and A. Aldo Faisal1,2,3 1 Add to Reading List Source URL: spiral.imperial.ac.uk Language: English - Date: 2016-09-08 00:46:08 Humancomputer interaction Artificial intelligence Robot control Virtual reality Multimodal interaction Video game controllers Robot navigation Haptic technology Haptic perception Simultaneous localization and mapping Occupancy grid mapping Kalman filter
16	Security in a Model for Long–running Transactions⋆ Damas P. Gruska1 , Andrea Maggiolo–Schettini2, and Paolo Milazzo2 1 2 Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Symbol Constructible universe
17	Closed-loop quantitative verification of rate-adaptive pacemakers Marta Kwiatkowska1, Nicola Paoletti2, Andrea Patanè1 1) University of Oxford (UK); 2) Stony Brook University (USA) Closed-loop model Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-10-06 05:50:27 Cardiac electrophysiology Medicine Physiology Circulatory system Artificial cardiac pacemaker QT interval Electrocardiography Heart arrhythmia Cardiac pacemaker Atrioventricular block Pacing
18	Feedback control of the Threshold Model in large-scale networks Wilbert Samuel Rossi1 , Giacomo Como2,3, and Fabio Fagnani2 1 2 Add to Reading List Source URL: wwwhome.ewi.utwente.nl Language: English - Date: 2017-10-11 16:32:49
19	Complexity of Model-Checking Call-by-Value Programs Takeshi Tsukada1,2 and Naoki Kobayashi3 1 2 Add to Reading List Source URL: www.kb.is.s.u-tokyo.ac.jp Language: English - Date: 2016-04-18 06:57:45
20	Non-Trivial θ-Vacuum Effects in the 2-d O(3) Model and Quantum Simulation of Non-Abelian Lattice Gauge Theories Add to Reading List Source URL: www.wiese.itp.unibe.ch Language: English - Date: 2017-08-25 03:19:16

UPDATE